On Sufficient Conditions of the Injectivity: Development of a Numerical Test Algorithm via Interval Analysis

نویسندگان

  • Sebastien Lagrange
  • Nicolas Delanoue
  • Luc Jaulin
چکیده

This paper presents a new numerical algorithm based on interval analysis able to verify that a continuously differentiable function is injective. The efficiency of the method is demonstrated by illustrative examples. These examples have been treated by a C++ solver which is made available.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An algorithm for the anchor points of the PPS of the CCR model

Anchor DMUs are a new class in the general classification of Decision Making Units (DMUs) in Data Envelopment Analysis (DEA). An anchor DMU in DEA is an extreme-efficient DMU that defines the transition from the efficient frontier to the free-disposability part of the boundary of the Production Possibility Set (PPS). In this paper, the anchor points of the PPS of the CCR model are investigated....

متن کامل

Weighted Composition Operators Between Extended Lipschitz Algebras on Compact Metric Spaces

‎In this paper, we provide a complete description of weighted composition operators between extended Lipschitz algebras on compact metric spaces. We give necessary and sufficient conditions for the injectivity and the sujectivity of these operators. We also obtain some sufficient conditions and some necessary conditions for a weighted composition operator between these spaces to be compact.

متن کامل

Weighted composition operators between Lipschitz algebras of complex-valued bounded functions

‎In this paper‎, ‎we study weighted composition operators between Lipschitz algebras of complex-valued bounded functions on metric spaces‎, ‎not necessarily compact‎. ‎We give necessary and sufficient conditions for the injectivity and the surjectivity of these operators‎. ‎We also obtain sufficient and necessary conditions for a weighted composition operator between these spaces to be compact.

متن کامل

Solution of Thermo-Fluid problems in Bounded Domains via the Numerical Panel Method

The classical panel method has been extensively used in external aerodynamics to calculate ideal flow fields around moving vehicles or stationary structures in unbounded domains. However, the panel method, as a somewhat simpler implementation of the boundary element method, has rarely been employed to solve problems in closed complex domains. This paper aims at filling this gap and discusses th...

متن کامل

Injectivity in a category: an overview on smallness conditions

Some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness. In this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by Bernhard Banaschewski and W...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Reliable Computing

دوره 13  شماره 

صفحات  -

تاریخ انتشار 2007